@inproceedings{Ivko04,
 author = {Igor Ivkovic and Kostas Kontogiannis},
 title = {Tracing Evolution Changes of Software Artifacts through Model Synchronization},
 booktitle = {ICSM '04: Proceedings of the 20th IEEE International Conference on Software Maintenance},
 year = {2004},
 isbn = {0-7695-2213-0},
 pages = {252--261},
 publisher = {IEEE Computer Society},
 address = {Washington, DC, USA},
 }

@misc{QVT05,
  author =       {{OMG}},
  title =        {{MOF} {QVT} Final Adopted Specification},
  year =         {2005},
  howpublished  = {http://www.omg.org/docs/ptc/05-11-01.pdf}
}

@misc{toolweb,
    title = {The Model Synchronization Tool Website},
    howpublished = {\url{http://www.ipl.t.u-tokyo.ac.jp/~xiong/modelSynchronization.html}},
}

@misc{XMI,
    author =       {{OMG}},
    title = {{XML} Metadata Interchange ({XMI}) Specification, v2.1},
    year = {2005},
    howpublished = {http://www.omg.org/docs/formal/05-09-01.pdf}
    }

@misc{MOF02,
    author =       {{OMG}},
    title = {MetaObject Facility (MOF) Specification},
    year = {2002},
    howpublished = {http://www.omg.org/docs/formal/02-04-03.pdf}
    }

@misc{WXS,
    key = "W3C:XML Schema",
    title =        {{W3C XML Schema}},
    howpublished = {http://www.w3c.org/XML/Schema/}
    }

@misc{RelaxNG,
    author =      {James Clark and Makoto Murata},
    title =       {{RELAX NG} Specification},
    howpublished = {http://www.oasis-open.org/committees/relax-ng/spec.html},
    year =        2001,
    publisher =    {{OASIS}},
}


@inproceedings{JoEg04,
 author = {Sven Johann and Alexander Egyed},
 title = {Instant and Incremental Transformation of Models},
 booktitle = {ASE '04: Proceedings of the 19th IEEE international conference on Automated software engineering},
 year = {2004},
 isbn = {0-7695-2131-2},
 pages = {362--365},
 doi = {http://dx.doi.org/10.1109/ASE.2004.43},
 publisher = {IEEE Computer Society},
 address = {Washington, DC, USA},
 }

@book{Quat02,
 author = {Terry Quatrani},
 title = {Visual Modeling with Rational Rose 2002 and UML},
 year = {2002},
 isbn = {0201729326},
 publisher = {Addison-Wesley Longman Publishing Co., Inc.},
 address = {Boston, MA, USA},
 }

@inproceedings {GiWa06,
    author          = {Holger Giese and Robert Wagner},
    title           = {Incremental Model Synchronization with Triple Graph Grammars},
    booktitle       = {Models '06: Proc. of the 9th International Conference on Model Driven Engineering Languages and Systems},
    pages           = {543--557},
    year            = {2006},
    language        = {english},
    volume          = {4199},
    editor          = {Oscar Nierstrasz and John Whittle and David Harel and Gianna Reggio},
    series          = {Lecture Notes in Computer Science},
    publisher       = {Springer Verlag},
    month           = {October},
}

@article{KoSc06,
    title = {Tool Integration with Triple Graph Grammars - A Survey},
    author = {Alexander Konigs and Andy Schurr},
    booktitle = {Proceedings of the School of SegraVis Research Training Network on Foundations of Visual Modelling Techniques (FoVMT 2004)},
    journal = {Electronic Notes in Theoretical Computer Science},
    number = {1},
    pages = {113--150},
    url = {http://www.sciencedirect.com/science/article/B75H1-4J383YW-7/2/b875ec5d9a25ae6d7e2917b43d442ed3},
    volume = {148},
    year = {2006},
    biburl = {http://www.bibsonomy.org/bibtex/248c8bdf624367821c838500c7f4f5614/leonardo},
    abstract = {Nowadays, typical software and system engineering projects in various industrial sectors (automotive, telecommunication, etc.) involve hundreds of developers using quite a number of different tools. Thus, the data of a project as a whole is distributed over these tools. Therefore, it is necessary to make the relationships of different tool data repositories visible and keep them consistent with each other. This still is a nightmare due to the lack of domain-specific adaptable tool and data integration solutions which support maintenance of traceability links, semi-automatic consistency checking as well as update propagation. Currently used solutions are usually hand-coded one-way transformations between pairs of tools. In this article we present a rule-based approach that allows for the declarative specification of data integration rules. It is based on the formalism of triple graph grammars and uses directed graphs to represent MOF-compliant (meta) models. As a result we give an answer to OMG's request for proposals for a MOF-compliant "queries, views, and transformation" (QVT) approach from the "model driven application development" (MDA) field.},
    citeulike-article-id = {1236823}, priority = {4},
    keywords = {2006 mda model_integration qvt tool_integration triple_graph_grammars },
    month = {February},
}

@TechReport{BrMa03,
    title = {BOTL : The Bidirectional Object Oriented Transformation Language},
    author = {Peter Braun and Frank Marschall},
    institution = {Technische Universit$\ddot{a}$t M$\ddot{u}$nchen},
    year = {2003},
    number = {TUM-I0307}
}

@book{Fran03,
AUTHOR    = "D. S. Frankel",
TITLE     = "Model Driven Architecture: Applying MDA to Enterprise Computing",
PUBLISHER = "John Wiley \& Sons",
YEAR      = "2003"
}

@inproceedings{CzHe03,
  author    = {Krzysztof Czarnecki and Simon Helsen},
  title     = {Classification of Model Transformation Approaches},
  booktitle = {Workshop on Generative Techniques in the Context
 of Model-Driven Architecture},
  year      = {2003},
  pages     = {},
}

@inproceedings{AANS06,
 author = {Marwan Abi-Antoun and Jonathan Aldrich and Nagi Nahas and Bradley Schmerl and David Garlan},
 title = {Differencing and Merging of Architectural Views},
 booktitle = {ASE '06: Proceedings of the 21st IEEE International Conference on Automated Software Engineering},
 year = {2006},
 isbn = {0-7695-2579-2},
 pages = {47--58},
 doi = {http://dx.doi.org/10.1109/ASE.2006.33},
 publisher = {IEEE Computer Society},
 address = {Washington, DC, USA},
 }

 @inproceedings{MeGH05,
 author = {Akhil Mehra and John Grundy and John Hosking},
 title = {A generic approach to supporting diagram differencing and merging for collaborative design},
 booktitle = {ASE '05: Proceedings of the 20th IEEE/ACM international Conference on Automated software engineering},
 year = {2005},
 isbn = {1-59593-993-4},
 pages = {204--213},
 location = {Long Beach, CA, USA},
 doi = {http://doi.acm.org/10.1145/1101908.1101940},
 publisher = {ACM Press},
 address = {New York, NY, USA},
 }

@InProceedings{AlPo03:UML,
  author =       "Marcus Alanen and Ivan Porres",
  title =        "Differences and Union of Models",
  pages =        "2--17",
  booktitle =    "{UML} 2003 - The Unified Modeling Language. Model
                  Languages and Applications. 6th International Conference,
                  San Francisco, {CA}, {USA}, October 2003, Proceedings",
  editor =       "Perdita Stevens and Jon Whittle and Grady Booch",
  publisher =    "Springer",
  series =       "Lecture Notes in Computer Science",
  volume =       "2863",
  year =         "2003",
}

@inproceedings{BPPT06,
 author = {Paolo Bottoni and Francesco Parisi-Presicce and Simone Pulcini and Gabriele Taentzer},
 title = {Maintaining coherence between models with distributed rules: from theory to {Eclipse}},
 booktitle = {GT-VMT '06: Proceedings of International Workshop on Graph Transformation and Visual Modeling Techniques},
 year = {2006},
 location = {Vienna, Austria},
 publisher = {Elsevier Science}
 }


@InProceedings{JoKu06a,
  author       = "Jouault, Frederic and Kurtev, Ivan",
  title        = {Transforming Models with {ATL}},
  booktitle    = "Proceedings of Satellite Events at the MoDELS 2005 Conference",
  series =       "Lecture Notes in Computer Science",
  volume =       "3844",
  pages        = "128-138",
  year         = "2006",
  publisher    = "Springer",
  url          = "http://www.lina.sciences.univ-nantes.fr/Publications/2006/JK06a"
}

@misc{ATLWeb,
 title = "The {ATL} web site",
 howpublished  = "http://www.eclipse.org/m2m/atl/"
 }

@inproceedings{FGMPS05,
  author    = {J. Nathan Foster and
               Michael B. Greenwald and
               Jonathan T. Moore and
               Benjamin C. Pierce and
               Alan Schmitt},
  title     = {Combinators for bi-directional tree transformations: a linguistic
               approach to the view update problem.},
  booktitle = {{POPL '05} : {ACM} {SIGPLAN--SIGACT} {S}ymposium on {P}rinciples of {P}rogramming
                     {L}anguages},
  year      = {2005},
  pages     = {233-246}
}

@article{BaSp81,
  author    = {Fran\c{c}ois Bancilhon and
               Nicolas Spyratos},
  title     = {Update Semantics of Relational Views},
  journal   = {ACM Trans. Database Syst.},
  volume    = {6},
  number    = {4},
  year      = {1981},
  pages     = {557-575},
  ee        = {http://doi.acm.org/10.1145/319628.319634, db/journals/tods/BancilhonS81.html},
  bibsource = {DBLP, http://dblp.uni-trier.de}
}

@inproceedings{LiHT07,
 author = {Dongxi Liu and Zhenjiang Hu and Masato Takeichi},
 title = {Bidirectional interpretation of XQuery},
 booktitle = {PEPM '07: Proceedings of the 2007 ACM SIGPLAN symposium on Partial evaluation and semantics-based program manipulation},
 year = {2007},
 isbn = {978-1-59593-620-2},
 pages = {21--30},
 location = {Nice, France},
 doi = {http://doi.acm.org/10.1145/1244381.1244386},
 publisher = {ACM Press},
 address = {New York, NY, USA},
 }


@Misc{XMOF,
  author = {{Compuware Corporation} and  {SUN Microsystems}},
  title = {{XMOF} Queries, Views and Transformations on Models using {MOF}, {OCL} and Patterns},
  year = {2003},
  howpublished = {http://www.omg.org/docs/ad/03-08-07.pdf}
}

@misc{ACEM03,
    author = "Biju K. Appukuttan and Tony Clark and Andy Evans and Girish Maskeri and Sreedhar Reddy and Paul Sammut and Laurence Tratt and R. Venkatesh and James S. Willans",
    title = "{QVT-Partners} revised submission to {QVT} {RFP}",
    year = "2003",
  howpublished = {http://www.omg.org/docs/ad/03-08-08.pdf},
    month = "August",
}

@inproceedings{AkKe02,
 author = {D. H. Akehurst and Stuart Kent},
 title = {A Relational Approach to Defining Transformations in a Metamodel},
 booktitle = {UML '02: Proceedings of the 5th International Conference on The Unified Modeling Language},
 year = {2002},
 isbn = {3-540-44254-5},
 pages = {243--258},
 publisher = {Springer-Verlag},
 address = {London, UK},
 }

@inproceedings{NNWZ00,
    author = {U. Nickel and J. Niere and J. Wadsack and A. Z$\ddot{u}$ndorf},
    title = {Roundtrip Engineering with {FUJABA}},
    booktitle = {WSR '00: Proceedings of 2nd Workshop on Software-Reengineering},
    year = {2000},
    address = {Bad Honnef, Germany}
}

@inproceedings{LDGR04,
    author = { Michael Lawley and Keith Duddy and Anna Gerber and Kerry Raymond},
    title = {Language Features for Re-Use and Maintainability of {MDA} Transformations},
    booktitle = {Workshop on Best Practices for Model-Driven Software Development},
    year = {2004}
}

@misc{KM3,
    author = {{ATLAS group}},
    title = {{KM3:Kernel MetaMetaModel} Manual},
    howpublished = {http://www.eclipse.org/gmt/atl/doc/}
    }

@TECHREPORT{PiSG03,
  author = {Benjamin C. Pierce and Alan Schmitt and Michael B. Greenwald},
  title = {Bringing {H}armony to Optimism:
                  {A} Synchronization Framework for Heterogeneous
                  Tree-Structured Data},
  year = 2003,
  type = {Technical Report},
  number = {MS-CIS-03-42},
  institution = {University of Pennsylvania},
  plclub = {Yes},
  bcp = {Yes},
  tr = {http://www.cis.upenn.edu/~bcpierce/papers/harmony-sync-tr.pdf},
  keys = {harmony},
}
@inproceedings{IvKo04,
 author = {Igor Ivkovic and Kostas Kontogiannis},
 title = {Model synchronization as a problem of maximizing model dependencies},
 booktitle = {OOPSLA '04: Companion to the 19th annual ACM SIGPLAN conference on Object-oriented programming systems, languages, and applications},
 year = {2004},
 isbn = {1-58113-833-4},
 pages = {222--223},
 location = {Vancouver, BC, CANADA},
 doi = {http://doi.acm.org/10.1145/1028664.1028760},
 publisher = {ACM Press},
 address = {New York, NY, USA},
 }

@inproceedings{FGHKN93,
 author = {Anthony Finkelstein and Dov M. Gabbay and Anthony Hunter and Jeff Kramer and Bashar Nuseibeh},
 title = {Inconsistency Handling in Multi-Perspective Specifications},
 booktitle = {ESEC '93: Proceedings of the 4th European Software Engineering Conference on Software Engineering},
 year = {1993},
 isbn = {3-540-57209-0},
 pages = {84--99},
 publisher = {Springer-Verlag},
 address = {London, UK},
 }

@article{GrHM98,
 author = {John Grundy and John Hosking and Warwick B. Mugridge},
 title = {Inconsistency Management for Multiple-View Software Development Environments},
 journal = {IEEE Trans. Softw. Eng.},
 volume = {24},
 number = {11},
 year = {1998},
 issn = {0098-5589},
 pages = {960--981},
 doi = {http://dx.doi.org/10.1109/32.730545},
 publisher = {IEEE Press},
 address = {Piscataway, NJ, USA},
 }

@inproceedings{AnCz06,
 author = {Michal Antkiewicz and Krzysztof Czarnecki},
 title = {Framework-Specific Modeling Languages with Round-Trip Engineering},
 booktitle = {MoDELS 2006: Proceedings of the 9th nternational Conference on Model Driven Engineering Languages and Systems},
 year = {2006},
 pages = {692--706},
 publisher = {Springer-Verlag},
 }

@inproceedings{TEGL05,
 author = {Karsten Ehrig and Esther Guerra and de Lara, Juan and Laszl\'o
            Lengyel and Tiham\'er Levendovszky and Ulrike Prange and Gabriele
            Taentzer and D\'aniel Varr\'o and Szilvia Varr\'o-Gyapay},
 title = {Model Transformation by Graph Transformation: A Comparative Study},
 booktitle = {MTiP 2005, International Workshop on Model Transformations in
               Practice (Satellite Event of MoDELS 2005)},
 year = {2005},
 pages = {},
 publisher = {Springer-Verlag},
 }

@inproceedings{BRST05,
 author = {Bezivin, J. and Rumpe, B. and Sch\"urr A., Tratt L},
 title = {Model Transformation in Practice Workshop Announcement},
 booktitle = {MTiP 2005, International Workshop on Model Transformations in
               Practice (Satellite Event of MoDELS 2005)},
 year = {2005},
 pages = {},
 publisher = {Springer-Verlag},
 note = {http://sosym.dcs.kcl.ac.uk/events/mtip/}
 }

@article{ BuFS00,
    author = "Peter Buneman and Mary F. Fernandez and Dan Suciu",
    title = "{UnQL}: a query language and algebra for semistructured data based on structural recursion",
    journal = "VLDB Journal: Very Large Data Bases",
    volume = "9",
    number = "1",
    month = "",
    pages = "76--110",
    year = "2000",
    url = "citeseer.ist.psu.edu/buneman00unql.html" }

@inproceedings{CoGa97,
    author = "Andrea Corradini and Fabio Gadducci",
    title = "A 2-Categorical Presentation of Term Graph Rewriting",
    booktitle = "Category Theory and Computer Science",
    pages = "87-105",
    year = "1997",
    url = "citeseer.ist.psu.edu/corradini97categorical.html" }

@incollection{ArKl95,
    author = "Zena M. Ariola and Jan Willem Klop",
    title = "Equational term graph rewriting",
    booktitle = "704",
    month = "30",
    publisher = "Centrum voor Wiskunde en Informatica (CWI)",
    address = "ISSN 0169-118X",
    pages = "55",
    year = "1995",
    url = "citeseer.ist.psu.edu/ariola93equational.html" }

@misc{GrGL05,
  author = "Lars Grunske and Leif Geiger and Michael Lawley",
  title = "A Graphical Specification of Model Transformations with Triple Graph Grammars",
  year = "2005",
  url = "citeseer.ist.psu.edu/742931.html" }

@inproceedings{Taen03,
  author    = {Gabriele Taentzer},
  title     = {{AGG}: A Graph Transformation Environment for Modeling and
               Validation of Software},
  booktitle = {AGTIVE},
  year      = {2003},
  pages     = {446-453},
  ee        = {http://springerlink.metapress.com/openurl.asp?genre=article{\&}issn=0302-9743{\&}volume=3062{\&}spage=446},
  crossref  = {DBLP:conf/agtive/2003},
  bibsource = {DBLP, http://dblp.uni-trier.de}
}
@proceedings{DBLP:conf/agtive/2003,
  editor    = {John L. Pfaltz and
               Manfred Nagl and
               Boris B{\"o}hlen},
  title     = {Applications of Graph Transformations with Industrial Relevance,
               Second International Workshop, AGTIVE 2003, Charlottesville,
               VA, USA, September 27 - October 1, 2003, Revised Selected
               and Invited Papers},
  booktitle = {AGTIVE},
  publisher = {Springer},
  series    = {Lecture Notes in Computer Science},
  volume    = {3062},
  year      = {2004},
  isbn      = {3-540-22120-4},
  bibsource = {DBLP, http://dblp.uni-trier.de}
}

@inproceedings{EETL05,
  author    = {Hartmut Ehrig and
               Karsten Ehrig and
               Gabriele Taentzer and
               Juan de Lara and
               D{\'a}niel Varr{\'o} and
               Szilvia Varr{\'o}-Gyapay},
  title     = {Termination Criteria for Model Transformation},
  booktitle = {Transformation Techniques in Software Engineering},
  year      = {2005},
  ee        = {http://drops.dagstuhl.de/opus/volltexte/2006/428},
  crossref  = {DBLP:conf/dagstuhl/2005P5161},
  bibsource = {DBLP, http://dblp.uni-trier.de}
}
@proceedings{DBLP:conf/dagstuhl/2005P5161,
  editor    = {James R. Cordy and
               Ralf L{\"a}mmel and
               Andreas Winter},
  title     = {Transformation Techniques in Software Engineering, 17.-22.
               April 2005},
  booktitle = {Transformation Techniques in Software Engineering},
  publisher = {Internationales Begegnungs- und Forschungszentrum f{\"u}r
               Informatik (IBFI), Schloss Dagstuhl, Germany},
  series    = {Dagstuhl Seminar Proceedings},
  volume    = {05161},
  year      = {2006},
  bibsource = {DBLP, http://dblp.uni-trier.de}
}

@proceedings{Roze97,
  editor    = {Grzegorz Rozenberg},
  title     = {Handbook of Graph Grammars and Computing by Graph Transformations,
               Volume 1: Foundations},
  booktitle = {Handbook of Graph Grammars},
  publisher = {World Scientific},
  year      = {1997},
  isbn      = {9810228848},
  bibsource = {DBLP, http://dblp.uni-trier.de}
}

@inproceedings{DBLP:conf/diagrams/LaraT04,
  author    = {Juan de Lara and
               Gabriele Taentzer},
  title     = {Automated Model Transformation and Its Validation Using
               AToM 3 and AGG},
  booktitle = {Diagrams},
  year      = {2004},
  pages     = {182-198},
  ee        = {http://springerlink.metapress.com/openurl.asp?genre=article{\&}issn=0302-9743{\&}volume=2980{\&}spage=182},
  crossref  = {DBLP:conf/diagrams/2004},
  bibsource = {DBLP, http://dblp.uni-trier.de}
}

@proceedings{DBLP:conf/diagrams/2004,
  editor    = {Alan F. Blackwell and
               Kim Marriott and
               Atsushi Shimojima},
  title     = {Diagrammatic Representation and Inference, Third International
               Conference, Diagrams 2004, Cambridge, UK, March 22-24, 2004,
               Proceedings},
  booktitle = {Diagrams},
  publisher = {Springer},
  series    = {Lecture Notes in Computer Science},
  volume    = {2980},
  year      = {2004},
  isbn      = {3-540-21268-X},
  bibsource = {DBLP, http://dblp.uni-trier.de}
}

@article{DBLP:journals/sosym/LaraVA04,
  author    = {Juan de Lara and
               Hans Vangheluwe and
               Manuel Alfonseca},
  title     = {Meta-modelling and graph grammars for multi-paradigm modelling
               in AToM$^{\mbox{3}}$},
  journal   = {Software and System Modeling},
  volume    = {3},
  number    = {3},
  year      = {2004},
  pages     = {194-209},
  ee        = {http://www.springerlink.com/index/10.1007/s10270-003-0047-5},
  bibsource = {DBLP, http://dblp.uni-trier.de}
}

@proceedings{BoGR03,
  editor    = {Egon B{\"o}rger and
               Angelo Gargantini and
               Elvinia Riccobene},
  title     = {Abstract State Machines, Advances in Theory and Practice, 10th
               International Workshop, ASM 2003, Taormina, Italy, March 3-7,
               2003, Proceedings},
  booktitle = {Abstract State Machines},
  publisher = {Springer},
  series    = {Lecture Notes in Computer Science},
  volume    = {2589},
  year      = {2003},
  isbn      = {3-540-00624-9},
  bibsource = {DBLP, http://dblp.uni-trier.de}
}

@article{LLMC06,
  number = {1},
  volume = {1},
  issn = {1306-4428},
  author = {L{\'a}szl{\'o} Lengyel and Tiham{\'e}r Levendovszky and Gerely Mezei
            and Hassan Charaf},
  abstract = {Graph rewriting-based visual model processing is a widely used
              technique for model transformation. Visual model transformations
              often need to follow an algorithm that requires a strict control
              over the execution sequence of the transformation steps.
              Therefore, in Visual Model Processors (VMPs) the execution order
              of the transformation steps is crucial. This paper presents the
              visual control flow support of Visual Modeling and Transformation
              System (VMTS), which facilitates composing complex model
              transformations of simple transformation steps and executing them.
              The VMTS Visual Control Flow Language (VCFL) uses stereotyped
              activity diagrams to specify control flow structures and OCL
              constraints to choose between different control flow branches.
              This paper introduces VCFL, discusses its termination properties
              and provides an algorithm to support the termination analysis of
              VCFL transformations.},
  title = {Model Transformation with a Visual Control Flow Language},
  year = {2006},
  pages = {45-53},
  journal = {International Journal of Computer Science (IJCS)},
}

@inproceedings{ ShOO99,
    author = "Lei Sheng and Z. Meral Ozsoyoglu and Gultekin Ozsoyoglu",
    title = "A Graph Query Language and Its Query Processing",
    booktitle = "{ICDE}",
    pages = "572-581",
    year = "1999",
    url = "citeseer.ist.psu.edu/sheng99graph.html" }

@misc{ GiSh02,
  author = "R. Giugno and D. Shasha",
  title = "Graphgrep: A fast and universal method for querying graphs",
  text = "R. Giugno and D. Shasha. Graphgrep: A fast and universal method for querying
    graphs. In Proceeding of the IEEE International Conference in Pattern recognition
    (ICPR), Quebec, Canada, August 2002.",
  year = "2002",
  url = "citeseer.ist.psu.edu/giugno02graphgrep.html" }


@article{Prat71,
  author    = {Terrence W. Pratt},
  title     = {Pair Grammars, Graph Languages and String-to-Graph Translations},
  journal   = {J. Comput. Syst. Sci.},
  volume    = {5},
  number    = {6},
  year      = {1971},
  pages     = {560-595},
  bibsource = {DBLP, http://dblp.uni-trier.de}
}

@inproceedings{KlKS07,
  author    = {Felix Klar and
               Alexander K{\"o}nigs and
               Andy Sch{\"u}rr},
  title     = {Model transformation in the large},
  booktitle = {ESEC/SIGSOFT FSE},
  year      = {2007},
  pages     = {285-294},
  ee        = {http://doi.acm.org/10.1145/1287624.1287664},
  crossref  = {DBLP:conf/sigsoft/2007},
  bibsource = {DBLP, http://dblp.uni-trier.de}
}
@proceedings{DBLP:conf/sigsoft/2007,
  editor    = {Ivica Crnkovic and
               Antonia Bertolino},
  title     = {Proceedings of the 6th joint meeting of the European Software
               Engineering Conference and the ACM SIGSOFT International
               Symposium on Foundations of Software Engineering, 2007,
               Dubrovnik, Croatia, September 3-7, 2007},
  booktitle = {ESEC/SIGSOFT FSE},
  publisher = {ACM},
  year      = {2007},
  isbn      = {978-1-59593-811-4},
  bibsource = {DBLP, http://dblp.uni-trier.de}
}

@INPROCEEDINGS{HITT97,
  AUTHOR = {Zhenjiang Hu and Hideya Iwasaki and Masato Takeichi and Akihiko Takano},
  TITLE = {Tupling Calculation Eliminates Multiple Data Traversals},
  BOOKTITLE = {ACM SIGPLAN International Conference on
Functional Programming (ICFP'97)},
  ADDRESS = {Amsterdam, The Netherlands},
  MONTH = JUN,
  YEAR = 1997,
  PUBLISHER = {ACM Press},
  PAGES = {164--175}
}
